Analyzing for Fairness Electronic Commerce Protocol Formally
نویسندگان
چکیده
منابع مشابه
Approaching a Formal Definition of Fairness in Electronic Commerce
The notion of fairness is a very general concept and can be used to coin terms in many different application areas. Recently, the term fairness has appeared in the context of electronic commerce. Here, the term fair exchange refers to the problem that two parties want to swap some distinct items in a way which ensures that no participant can gain advantage over the other. Many protocols for fai...
متن کاملAnalyzing Knowledge of Rural Cooperatives Managers in Khouzestan Province toward Electronic Commerce
The purpose of this research was analyzing knowledge of rural cooperatives managers in Khouzestan province toward electronic commerce, Iran. The research method was correlative descriptive. The population of this study included rural cooperatives managers in Khuzestan province. The total number of members was 101 people. Due to the limited population, census method was used. Questionnaire relia...
متن کاملAnalyzing Attitude of Rural Cooperatives Managers in Khouzestan Province toward Electronic Commerce
The purpose of this research was analyzing attitude of rural cooperatives managers in Khouzestan province toward electronic commerce, Iran. The research method was correlative descriptive. The population of this study included rural cooperatives managers in Khuzestan province. The total number of members was 101 people. Due to the limited population, census method was used. Questionnaire reliab...
متن کاملElectronic Commerce and the Street Performer Protocol
We introduce the Street Performer Protocol, an electronic-commerce mechanism to facilitate the private financing of public works. Using this protocol, people would place donations in escrow, to be released to an author in the event that the promised work be put in the public domain. This protocol has the potential to fund alternative or “marginal” works.
متن کاملFormally Analyzing Adaptive Flight Control
We formally verify a direct model-reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions. We use the bounded verification approach and verify the system by introducing templates for both the assumptions and the guarantees, and using QEPCAD to solve the resulting ∃∀ formula.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DEStech Transactions on Computer Science and Engineering
سال: 2018
ISSN: 2475-8841
DOI: 10.12783/dtcse/cmsms2018/25239